|
|
cb8431dbcc
|
hwk3
|
2021-10-19 09:27:13 -05:00 |
|
|
|
fbc44a0f78
|
homework 3 start
|
2021-10-16 03:26:07 -05:00 |
|
|
|
8c4fe03730
|
a
|
2021-10-16 00:44:35 -05:00 |
|
|
|
d24d992786
|
fuck agda
|
2021-10-13 00:12:38 -05:00 |
|
|
|
367d61bdd5
|
asdf
|
2021-10-12 23:16:46 -05:00 |
|
|
|
bc087ff31e
|
nix
|
2021-10-12 21:32:36 -05:00 |
|
|
|
dcb4cbb360
|
ouais
|
2021-10-12 20:54:02 -05:00 |
|
|
|
7dff3e17e8
|
finished hwk2!
|
2021-10-07 18:15:03 -05:00 |
|
|
|
0eec924486
|
pt 1 done
|
2021-10-07 12:27:23 -05:00 |
|
|
|
7149274cf4
|
nix shit
|
2021-10-07 12:14:53 -05:00 |
|
|
|
87fafc7a15
|
hmm
|
2021-10-06 13:37:19 -05:00 |
|
|
|
8b1fbba12a
|
piazza-checkpoint
|
2021-10-06 00:14:08 -05:00 |
|
|
|
658bd841f0
|
a
|
2021-10-03 14:27:37 -05:00 |
|
|
|
8d0bebab0b
|
test
|
2021-10-02 02:52:59 -05:00 |
|
|
|
fceaaa8f83
|
a
|
2021-10-01 22:59:18 -05:00 |
|
|
|
32ed3d6920
|
Do the other 2 problems
|
2021-09-20 13:16:07 -05:00 |
|
|
|
93f496e3c0
|
hw1
|
2021-09-20 12:06:29 -05:00 |
|
|
|
bf178e1b8b
|
asdf
|
2021-09-18 14:44:20 -05:00 |
|
|
|
3830722f67
|
vscode
|
2021-09-09 11:24:03 -05:00 |
|
|
|
583e0fb344
|
begin induction
|
2021-09-09 10:28:51 -05:00 |
|
|
|
00ec52d94a
|
naturals exercises
|
2021-09-09 01:17:09 -05:00 |
|
Hemant Gouni
|
84840b0d4d
|
Set option to enable redo
|
2021-09-07 20:49:25 +00:00 |
|
Hemant Gouni
|
efd14e775f
|
Push updated Nix Flake with Emacs config
|
2021-09-07 05:28:15 +00:00 |
|
Hemant Gouni
|
9dc763832f
|
Make .direnv via direnv
|
2021-08-17 16:32:08 +00:00 |
|
Hemant Gouni
|
b6700e732c
|
Package plfa with Nix
|
2021-08-17 16:28:42 +00:00 |
|
Hemant Gouni
|
c2c3cce920
|
Allow nix to manage agda
|
2021-08-16 22:04:03 +00:00 |
|
Hemant Gouni
|
0c7bf0508a
|
Add git flag
|
2021-08-16 21:47:39 +00:00 |
|
Hemant Gouni
|
61b2259d99
|
Fix cloning issue
|
2021-08-16 21:41:37 +00:00 |
|
wadler
|
8fec0eb208
|
fix typo in Confluence
|
2021-08-10 17:51:52 +01:00 |
|
wadler
|
a162bcee5e
|
Merge branch 'dev' of github.com:plfa/plfa.github.io into dev
|
2021-08-10 17:51:19 +01:00 |
|
wadler
|
effcfb1e3e
|
fix typo in Confluence
|
2021-08-10 17:51:05 +01:00 |
|
Jeremy Siek
|
f7bc29d6f0
|
added accent
|
2021-07-29 10:46:23 -04:00 |
|
Jeremy Siek
|
67cbc3c837
|
added course in Torino
|
2021-07-29 10:45:30 -04:00 |
|
Wen Kokke
|
10a3203624
|
Fixed paths to fonts.
|
2021-07-14 16:58:54 +01:00 |
|
Wen Kokke
|
9691c05909
|
Fixed Agda errors; fixed css errors which resulted in the incorrect font being used.
|
2021-07-14 16:50:36 +01:00 |
|
Wen Kokke
|
edfb6c1601
|
Fixed bug in agda.css; compile with SCSS compiler.
|
2021-07-14 16:50:36 +01:00 |
|
Philip Wadler
|
5a5706ed5d
|
Merge pull request #569 from Altariarite/Fonts.lagda.md
changed codeblocks to displays in Fonts.lagda.md
|
2021-07-02 15:20:15 +01:00 |
|
Altaria
|
65536c8525
|
changed codeblocks comments to displays
|
2021-07-02 14:28:16 +01:00 |
|
wadler
|
00a04e43d1
|
small fix to Connectives
|
2021-06-26 15:43:48 +01:00 |
|
Philip Wadler
|
e54f752b6f
|
Merge pull request #568 from Altariarite/substitution
fixed indentation for proper code displays in Substitution.lagda.md
|
2021-06-25 20:17:00 +01:00 |
|
Altaria
|
dd370cd225
|
fix indentation on 736 to fix partial codeblocks
|
2021-06-25 16:14:28 +01:00 |
|
Altaria
|
0f8be19802
|
fixed indentation for proper code display
|
2021-06-25 11:22:18 +01:00 |
|
Philip Wadler
|
6b4140634f
|
Merge pull request #567 from Altariarite/Fonts.lagda.md
Add missing symbols in Fonts.lagda.md
|
2021-06-23 17:49:59 +01:00 |
|
Altaria
|
724d8eb487
|
added new symbols in part2 and 3
|
2021-06-23 15:25:45 +01:00 |
|
Wen Kokke
|
f9cafebe75
|
Updated README.
|
2021-06-16 23:31:37 +01:00 |
|
Wen Kokke
|
67b94951e0
|
Bumped Agda version to 2.6.1.3.
|
2021-06-16 23:30:18 +01:00 |
|
Wen Kokke
|
3291c18300
|
Bumped resolver and GHC version, added Hakyll, removed text-icu.
|
2021-06-16 16:26:02 +01:00 |
|
Wen Kokke
|
c732f6e89d
|
Bumped GHC version to 8.10.3.
|
2021-06-16 16:20:03 +01:00 |
|
Wen Kokke
|
617a788315
|
Merge.
|
2021-06-16 16:17:09 +01:00 |
|
Altariarite
|
c022088e3c
|
updated text-icu ver to be compatible with icu68+ (#565)
|
2021-06-16 16:13:27 +01:00 |
|
