The Nest
Explore
0
PLFA agda exercises
10. Lists
Created by  tzemanovic  yesterday at 04:34
634YGOQIKLAS2II5EAPSFDLZAR2CM3YBIJIO46M5OJ6JKXRZRDJQC
9. Decidable
Created by  tzemanovic  on February 22, 2026
3XE75GH6ZU5V43D5GQTZ36RSTJMEKXMRR6PWLWSC5Q4VOCIW6P4AC
proof postulates in quantifiers
Created by  tzemanovic  on February 20, 2026
AIYDIDGHASF7RY62YUGLYIRE7PGNR3CJJFNJQZV2LRRP76VCA5WQC
8. Quantifiers
Created by  tzemanovic  on February 19, 2026
FHLV6O6R4Q43SMIT2VWPRZA6EMOL4N6X5A4UO56NQDPBFUPQ4T6AC
7. Negation
Created by  tzemanovic  on February 17, 2026
T5OZLUEU6FUYDNWCXEGRUEG5PC6SM4GKPF7JBR4RMLFW23437WLAC
6. Connectives
Created by  tzemanovic  on February 15, 2026
7U7RBTIPOZJMUFMW6OKAC7BNHTW53JKYWZP2IRICHAYDOPNKXJMAC
fix notation
Created by  tzemanovic  on February 15, 2026
NM2NNVP2JD5JHHUGZIDMKOD3MNQPDV2JF4IHO65SCSDMNYUPWPIAC
style
Created by  tzemanovic  on February 13, 2026
DCMGBGUTZJXO6RF6DMSTUZOG3GG5QQTIIEYUY5RZSKTHUN2GP6UAC
simplify isomorphism exercise with an import
Created by  tzemanovic  on February 13, 2026
ZKA4IYXCTK6QCBUQPQ3N5AVNEM5O7OZTNF2JY2GG3GNHP6GTVTGAC
5. Isomorphism
Created by  tzemanovic  on February 13, 2026
4GFM7RKRTS44QVOSYDD7U7ANWPOPTJJ55Y6X4BJLQJAZ3Y6XLOKQC
ignore /src/_build
Created by  tzemanovic  on February 13, 2026
FUXV43PVZVTXQHIERAF2BDBCXUFW2AKPFDJTGEKFIOBGRIHVFXHAC
update .ignore
Created by  tzemanovic  on February 13, 2026
KP5GBJVKNNXJSXXNDN774RRQCCH3PWX5XY7S66IBZQRF2X2YDANQC
add standard-library
Created by  tzemanovic  on February 13, 2026
GP7YEIGGU3IPEBURKAKH5SIXYRVFYZILAQRSUDU3FDFI2G66HOQQC
4. Equality
Created by  Tomáš Zemanovič  on February 12, 2026
PCEX4Z46ME4EFAAAQZIVY53OILIPDNHYSHVWNJUWRDHZ4TGFW3FAC
3. Relations
Created by  Tomáš Zemanovič  on January 18, 2026
YLTANVG3K2CWRDK7IQMF7AQJT5FKOU4ROJAYHHDTILSK7ON5GWPAC
2. induction
Created by  Tomáš Zemanovič  on November 30, 2025
DRFPCAW2OFINZZGZ2ERBW4OYLUQYCW4M5HXWBFIWHDVRGF3W2ECQC
1. naturals
Created by  Tomáš Zemanovič  on November 27, 2025
RUJBNKGPTGXMX3XTQATHIUUUC6ACQ2UJWRTA4FERAX2J6LHI4WAQC
Bump sass from 1.94.0 to 1.94.2 (#1152)
Created by  dependabot[bot]  on November 24, 2025
4HYMLDIEKDSCJO45UXTKZPC35SFYVSX7E4OFNR26IX3R7H4TH6RAC
Bump actions/checkout from 5 to 6 (#1151)
Created by  dependabot[bot]  on November 24, 2025
E6OZDDCUSEJI63MAS5E3GZU3U6IJH3TJPVRKN3HX7XRA3KNC6EYQC
Bump html-validate from 10.3.1 to 10.4.0 (#1148)
Created by  dependabot[bot]  on November 19, 2025
JKPHFMDDBW62W2HGYOGLHTPGFM3FRI5T4AG2NTVVSG7WXSDSWD4QC
Bump glob from 11.0.3 to 11.1.0 (#1150)
Created by  dependabot[bot]  on November 18, 2025
RZK3E7GXAXOTLZUPCO7ILDH6RLMDB5QAFSYHCPKJFWYPOO32NKYAC
Bump sass from 1.93.3 to 1.94.0 (#1149)
Created by  dependabot[bot]  on November 17, 2025
47FNOJXI7HZ3DTKHV7CKHR43EXESM2DPUHWX47CK6C7IPTKZQFIAC
Update html-proofer requirement from ~> 5.0.3 to ~> 5.1.0 (#1145)
Created by  dependabot[bot]  on November 10, 2025
KTTLJQAIMJV5CUCUYAOFMLZ4SJXHWJ42Q4RU3VKWOK2FRCOJ2K3AC
Bump JamesIves/github-pages-deploy-action from 4.7.3 to 4.7.4 (#1147)
Created by  dependabot[bot]  on November 10, 2025
YSI2A4CMV3XIO6BHWNFS7Z2Y2SWUGTR5BPWN7SFSKUQSNA4VCD4AC
Bump html-validate from 10.3.0 to 10.3.1 (#1146)
Created by  dependabot[bot]  on November 10, 2025
VNRTNM3ZCMZZ7ADCHTWQEQFPIPATTIRIAR3DQYF2OHI57YARB6HAC
Bump html-validate from 10.2.1 to 10.3.0 (#1142)
Created by  dependabot[bot]  on November 4, 2025
YHHAMUNLZBW7CGC2EHNU5IU6ONCXRESKFXKNP2FOXV4ACOVUG7FQC
Bump sass from 1.93.2 to 1.93.3 (#1143)
Created by  dependabot[bot]  on November 3, 2025
WDOUQKYCKRR7R5MIRGSLDKOQEJLDBI2UY5WP74T263MNIR6FQWWQC
Bump actions/download-artifact from 5 to 6 (#1139)
Created by  dependabot[bot]  on October 28, 2025
WQ6L3IZ4BAD7NPC72VR7RSCAI4I7Q2CKK72GWOQHA4NZSJKQ4JMAC
Bump actions/upload-artifact from 4 to 5 (#1140)
Created by  dependabot[bot]  on October 28, 2025
IT6J7CZZSXBSQBMYODTO4HH44MXIUV5UVZ7X2WWJXB5DHTSFMGJQC
Bump html-validate from 10.1.2 to 10.2.1 (#1138)
Created by  dependabot[bot]  on October 28, 2025
YIEV3LA5RE4DGVK5RGILQUGJWOCTNCNR4DME5VGDQSPGE34XCE2QC
Bump html-validate from 10.1.1 to 10.1.2 (#1136)
Created by  dependabot[bot]  on October 14, 2025
AQSGUQ3LP5UXKTW6FWC3JTAD54PYBHBYOQTNOQZ6RX4RKZHLWZFQC
Bump html-validate from 10.0.0 to 10.1.1 (#1135)
Created by  dependabot[bot]  on October 9, 2025
FHAGPPTV3VMSIHGPOZNGBSWQJKTUMR4HZYRMYWOFMGFVLUYU74NAC
Bump sass from 1.90.0 to 1.93.2 (#1133)
Created by  dependabot[bot]  on October 3, 2025
WUISWYBKAQ3MGG6Y6SAKUNZUTD7CIXW5RD2NSP2IPWZYMJWSGIUAC
Add constraint citeproc <0.10 (#1134)
Created by  Wen Kokke  on October 2, 2025
ETBXXCZZ4ILXQJ5ECHB3UQXNOIYUWKZSQADWZ2IWSYOF3ZWWJZHQC
Bump sass from 1.89.2 to 1.90.0 (#1124)
Created by  dependabot[bot]  on August 13, 2025
SHHLAOUJR4YNATSPEACPP56ITB6353COYJGUDEN47747EFPYJNQAC