π-Base拓扑数据库 Haskell 重写
π-Base 是拓扑示例社区数据库,提供自动演绎和强大搜索功能。
语法:
使用 ~
进行否定, {和: [...]}
或者 {or: [...]}
嵌套。
你可以通过以下这些字符开启不同的搜索模式:
:
- 名字间隔?
- 不确定!
- 否定
示例
All Non-Metric Continua
{and: [compact, connected, t_2, ~metrizable]}
A Common Non-Theorem
{and: ["first countable", separable, "~second countable"]}
A Class of Examples by Name
:plank
New Things to Prove
?metacompact
评论
Base
Note:ThispackageisonlyusedbyBackpackv3.StartingwithBackpackv4,everythingthispackagedoesisincludedinB
Base
0
Glasgow Haskell Compiler
GlasgowHaskellCompiler是一个可靠、全功能、优化的Haskell函数编程语言的编译工具。可以将Haskell程序编译成本机可执行代码或者是C语言代码。
Glasgow Haskell Compiler
0
grenadeDeep Learning in Haskell
GrenadeFirstshaltthoutakeouttheHolyPin,thenshaltthoucounttothree,nomore,noless.Threeshallbethenumber
grenadeDeep Learning in Haskell
0
Haskell GHCHaskell 编译器
GHC(GlasgowHaskellcompiler)是Haskell最顶级最好的编程套件,包括一个优化的编译器,生成各种平台的优秀代码,同时还有个交互式系统,让用户使用起来更简单方便,能使用Hask
Haskell GHCHaskell 编译器
0
scottyweb 框架(Haskell)
scotty是使用Haskell编写的web框架,灵感来自Ruby的Sinatra,使用WAI和Warp(官方库)。{-# LANGUAGE OverloadedStrings #-}import W
scottyweb 框架(Haskell)
0