X
ну сорян, я работаю над читабельностью своих файлов, но там правда тяжело
Size: a a a
2021 November 24
s
Верю.
X
иногда я даже делаю вот так
X
X
потому что если удалить закомментированное — потом офигеваешь понять, почему то, что выше — это доказательство :)
s
s
Не настолько всё выводится.
X
ну я догадывался
X
что просто в документацию попадают только хедеры
X
но спросил, вдруг будущее наступило вчера
s
Но дока шикарная, со ссылками на места в сорцах.
X
даааааа
X
была бы такая хоть на полшишечки в фстаре
X
да к чёрту, была бы ХОТЬ КАКАЯ-ТО
X
я вообще, сейчас больше всего относительно F* хочу книжку F* Definitive Guide.
s
Да даже в агде похоже всё лучше, чем в фстаре.
s
Кроме smt решателей.
s
Но решатели есть в Isabelle, которая тоже походу лучше, хотя она даже без завтипов.
X
s
В общем, мне трудно понять, чем фстар может быть привлекателен.