Sign in
Join now
holbert-ng
liamoc.net
/
Star
Starred
Star
Something went wrong. Try again.
Fork
2
Eye filled
Watch
Watching
Watch
the next generation of the in-browser educational proof assistant
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
1
1
Pipelines
Pipelines
holbert-ng
/
tests
8 files
at
main
Liam O'Connor
·
The term syntax overhaul: mixfix parser and pretty printer
·
2mo ago
d34d3a59
HOTermTest.res
The term syntax overhaul: mixfix parser and pretty printer
2mo ago
NatTest.res
initial associative-commutative atom definition
5mo ago
ParserTests.res
initial associative-commutative atom definition
5mo ago
PreludeTest.res
add atom prelude functionality
5mo ago
RuleTest.res
The term syntax overhaul: mixfix parser and pretty printer
2mo ago
SExpTest.res
The term syntax overhaul: mixfix parser and pretty printer
2mo ago
StringTermTest.res
fix a_1-unification
5mo ago
TestUtil.res
The term syntax overhaul: mixfix parser and pretty printer
2mo ago
