alpha
Login
Join now
liamoc.net
/
holbert-ng
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
2
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
13
Pipelines
Pipelines
holbert-ng
/
tests
8 files
at
main
Liam O'Connor
·
The term syntax overhaul: mixfix parser and pretty printer
·
1mo ago
d34d3a59
HOTermTest.res
The term syntax overhaul: mixfix parser and pretty printer
1mo 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
1mo ago
SExpTest.res
The term syntax overhaul: mixfix parser and pretty printer
1mo ago
StringTermTest.res
fix a_1-unification
5mo ago
TestUtil.res
The term syntax overhaul: mixfix parser and pretty printer
1mo ago
