Actions: idris-lang/Idris2
Actions
253 workflow run results
253 workflow run results
%delay
block
Sphinx
#3451:
Pull request #2939
synchronize
by
AlgebraicWolf
%tcinline
s
Sphinx
#3448:
Pull request #3047
synchronize
by
buzden
%tcinline
s
Sphinx
#3446:
Pull request #3047
opened
by
buzden
libidris2_support
in compiler
Sphinx
#3441:
Pull request #3044
opened
by
AlgebraicWolf
%runElab
expressions have unrestricted quantity
Sphinx
#3440:
Pull request #2021
synchronize
by
buzden
%macro
-function be callable without the ElabReflection
extension
Sphinx
#3436:
Pull request #3034
synchronize
by
buzden
%runElab
expressions have unrestricted quantity
Sphinx
#3435:
Pull request #2021
synchronize
by
buzden