Index of /current/p/lambda-term/

../
1.13/                                              29-Jul-2025 17:30       -
2.0/                                               15-Sep-2025 06:45       -
2.0.1/                                             15-Sep-2025 06:45       -
2.0.2/                                             15-Sep-2025 06:45       -
2.0.3/                                             29-Jul-2025 18:31       -
3.0.0/                                             15-Sep-2025 06:45       -
3.0.1/                                             15-Sep-2025 06:46       -
3.1.0/                                             15-Sep-2025 06:46       -
3.2.0/                                             29-Jul-2025 18:25       -
3.3.0/                                             15-Sep-2025 06:47       -
3.3.1/                                             27-Sep-2025 15:03       -
3.3.2/                                             12-Sep-2025 21:04       -