Agda是一种很好的编程语言,可以探索依赖类型并使用直觉类型理论并尝试实现这些东西.但是,已经有用Agda编写的"真实"程序的例子吗？也许甚至可以展示其功能的例子(类似于xmonad经常被提到作为"真正的"Haskell程序的一个例子)？
用户退出后,如果他们点击后退按钮,他们可以在退出之前返回到他们所在的最后一页.
我正在处理的应用程序通常用于公共计算机(例如图书馆或计算机实验室),我想阻止用户查看以前用户会话中的任何内容.
我正在使用Rails 3和Devise,顺便说一下,虽然看起来这个问题会出现任何框架或登录机制.
解决方案是使用标头/元标记来禁用浏览器缓存吗？有人知道解决这个问题的宝石或教程吗？
期待您的建议.
authentication ruby-on-rails browser-cache http-headers devise