issues
search
frex-project
/
idris-frex
Other
46
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[ compat ] Be agnostic to the real implementation of `NonZero`
#75
buzden
opened
2 weeks ago
0
[ fix ] Fix coverage issue
#74
dunhamsteve
closed
1 month ago
2
Fix spelling of Nathan's name in the ipkg file.
#73
yallop
closed
7 months ago
0
add missing exports to fixity declarations
#72
andrevidela
closed
7 months ago
0
export fixity declarations
#71
andrevidela
closed
7 months ago
2
switch CI back to upstream Idris project
#70
mattpolzin
closed
8 months ago
0
Use Data.Vect.Quantifiers.All from base instead of Data.HVect from contrib.
#69
mattpolzin
closed
8 months ago
5
[ upstream ] Add extra argument to ICase
#68
gallais
closed
1 year ago
0
[ fix ] remove conflicting fixities
#67
gallais
closed
1 year ago
0
Fix to be compatible with Idris2#2535
#66
ohad
opened
2 years ago
0
Cut out depCong and depCong2 from the codebase moving it to stdlib/prelude
#65
Russoul
closed
2 years ago
0
[ upstream ] moving Eq implementations to `base`
#64
gallais
closed
2 years ago
1
[ upstream ] Adapt for PR idris-lang/Idris2#2387
#63
buzden
closed
2 years ago
1
[ upstream ] Adapt to the idris-lang/Idris2#2348
#62
buzden
closed
2 years ago
0
Quickly implement an involutive monoid fral byFrex
#61
ohad
closed
2 years ago
0
Tweak indexed binary
#60
ohad
closed
2 years ago
0
Another reflow
#59
ohad
closed
2 years ago
0
[ fix ] TTImp is about to change
#58
gallais
closed
2 years ago
0
Disambiguate List literal
#57
madman-bob
closed
2 years ago
0
Integers that play nice with typechecking
#56
ohad
opened
2 years ago
0
[ cosmetic ] reflow defs for the certificates PR
#55
gallais
closed
2 years ago
0
[draft] More reflow
#54
ohad
closed
2 years ago
0
Remove some `%search` as idris2 auto-search can now find them
#53
ohad
closed
2 years ago
0
More reflow
#52
ohad
closed
3 years ago
0
More cheeky reflow
#51
ohad
closed
3 years ago
0
Add cheeky line breaks
#50
ohad
closed
3 years ago
0
Add reflection
#49
doctorn
closed
2 years ago
3
[ new ] generic certificates printer!
#48
gallais
closed
3 years ago
2
[ refactor ] introduce Syntax.PreorderReasoning.Setoid
#47
gallais
closed
3 years ago
7
Add `flake.nix`
#46
doctorn
closed
3 years ago
0
Certificates extraction for MonoidTheory
#45
gallais
closed
3 years ago
2
Morita equivalence
#44
ohad
opened
3 years ago
0
[ re idris-lang/idris2#1888 ] upcoming upstream change
#43
gallais
closed
3 years ago
0
Add the "indexed binary" example
#42
yallop
closed
3 years ago
0
[ new ] getting rid of loops in proofs
#41
gallais
closed
3 years ago
0
First stab at frex pretty printer
#40
ohad
closed
3 years ago
2
[ new ] latex output from pretty printer
#39
gallais
closed
3 years ago
0
Reflow a long definition
#38
ohad
closed
3 years ago
0
Wire the pretty-printer test to the routine
#37
ohad
closed
3 years ago
0
Simplify the free-algebra algebraic simplification test
#36
ohad
closed
3 years ago
0
Make tests run from editor
#35
ohad
closed
3 years ago
0
[ ci ] `unlines` has been changed
#34
gallais
closed
3 years ago
0
[ fix ] following the totality check fix for #1782
#33
gallais
closed
3 years ago
0
[ update ] Upcoming tightening of the parser
#32
gallais
closed
3 years ago
1
Quick and dirty fix to be compatible with the new Relation API in stdlib
#31
ohad
closed
3 years ago
0
Add the simplification interface to frex
#30
ohad
closed
3 years ago
0
Add a simplifier function
#29
gallais
closed
3 years ago
1
[ fix ] build by renaming frexify -> solve
#28
gallais
closed
3 years ago
0
[ test ] proving equalities on syntactic terms
#27
gallais
closed
3 years ago
0
Start looking into making Involutive.Frex faster by abstracting over …
#26
ohad
closed
3 years ago
1
Next