michael/pfpl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
2 commits 1 branch 0 tags 27 KiB
Nix 36.9%
LambdaProlog 34.8%
Makefile 28.3%
Find a file
Michael Zhang 458cc24c9c
attributes
2024-05-01 01:06:37 -05:00
.envrc init 2024-05-01 01:05:04 -05:00
.gitattributes attributes 2024-05-01 01:06:37 -05:00
.gitignore init 2024-05-01 01:05:04 -05:00
flake.lock init 2024-05-01 01:05:04 -05:00
flake.nix init 2024-05-01 01:05:04 -05:00
Makefile init 2024-05-01 01:05:04 -05:00
T.mod init 2024-05-01 01:05:04 -05:00
T.sig init 2024-05-01 01:05:04 -05:00